tuple relational calculus examples